221. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :
QA
3
.
L28
Vol
.
1429

222. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :
QA
3
.
L28
no
.
1429

223. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses

رده :
QA
3
.
L28
no
.
1429

224. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses

رده :
QA
267
.
S98
1983

225. Logic and philosophy of science in Uppsala :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.

رده :
Q174
.
E358
1994

226. Logic programming and nonmonotonic reasoning :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.

227. Machines, languages, and complexity

پدیدآورنده :

موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

228. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
381

229. Mathematical foundations of computer science 2013 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.

رده :
QA76
.
9
.
M35
K757
9999

230. Mathematical foundations of computer science 2003 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.

231. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
233

232. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
118

233. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981

موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

234. Mathematical modelling and scientific computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity, Congresses,Mathematical models, Congresses,Mathematical optimization, Congresses,Science-- Data processing, Congresses

رده :
QA401
.
I458
2012eb

235. Measure of complexity : proceedings of the Conference held in Rome, September 30 - Octobr 2, 1987

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System theory,Congresses ، Computational complexity

رده :
QC
3
.
L28
Vol
.
314

236. Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، System theory-- Congresses,، Computational complexity-- Congresses

رده :
Q
295
.
M43
1988

237. Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، System theory,Congresses ، Computational complexity

رده :
QC
1
.
L4
v
.
314

238. Neuroscience :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence -- Congresses.,Neural networks (Computer science) -- Congresses.,Neurosciences -- Congresses.

رده :
QP351
.
E358
1993

239. New advances in intelligent signal processing /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Adaptive signal processing, Congresses,Signal processing-- Digital techniques, Congresses

رده :
TK5102
.
9
.
N49
2011

240. New developments in computational fluid dynamics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Fluid dynamics- Data processing Congresses,Computational complexity Congresses

رده :
QA911
.
I546
2003